101. Introduction to programming in prolog
پدیدآورنده : CROOKES,DANNY
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : PROLOG )COMPUTER PROGRAM LANGUAGE(
رده :
QA
76
.
73
.
P76
C74
102. Knowledge Systems and Prolog : developing expert, database, and natural language systems
پدیدآورنده : Adrian Walker...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Expert systems )Computer science(,، Prolog )Computer program language(,، Natural language processing )Computer science(
رده :
QA
76
.
76
.
E95K58
1990
103. Knowledge systems and Prolog : developing expert, database, and natural language systems
پدیدآورنده :
موضوع : ، Expert systems )Computer science(,، Prolog )Computer program language(,، Natural language processing )Computer science(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
104. Knowledge systems & prolog:developing expert,database,& natural
پدیدآورنده : WALKER,ADRIAN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : EXPERT SYSTEMS )COMPUTER SCIENCE( , PROLOG )COMPUTER PROGRAM LANGUAGE( , NATURAL LANGUAGE PROCESSING
رده :
QA
76
.
76
.
E95
K58
1990
105. LISP /
پدیدآورنده : Patrick Henry Winston, Berthold Klaus Paul Horn.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : LISP (Computer program language),Programming Languages.
رده :
QA76
.
73
.
L23
W56
1984
106. Language processing with Perl and Prolog: theories, implementation, and application
پدیدآورنده : Nugues, Pierre M.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Natural language processing )Computer science(,، Perl )Computer program language(,، Prolog )Computer program language(
رده :
QA
76
.
9
.
N38
N84
2014
107. Le langage Prolog: exemples en Turbo Prolog
پدیدآورنده : Legrand, Jacky
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Prolog )Computer program language(,، Turbo Prolog
رده :
QA
76
.
73
.
P76
.
L442
1992
108. Logic Programming '89 :
پدیدآورنده : edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Translators (Computer programs)
رده :
QA76
.
63
E358
1991
109. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده : edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
110. Logic, Progrmming and prolog
پدیدآورنده : / ULF Nilsson and Jan Maluszynski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic Programming,Prolog (Computer Program Language)
رده :
QA76
.
63
.
N55
1995
111. Logic and prolog
پدیدآورنده : Richard Spencer - Smith
موضوع : Prolog ( Computer program language)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
112. Logic program synthesis and transformation :
پدیدآورنده : publ. in collab. with the British Computer Society. Yves Deville (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logische Programmierung,Softwareentwicklung,Systemtransformation
113. Logic programming :
پدیدآورنده : Sandro Etalle, Mirosław Truszczyński (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Programmation logique -- Congrès.
114. Logic programming: : Prolog and stream parallel languages
پدیدآورنده : Newmarch, Jan
موضوع : ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
115. Logic programming: prolog and stream parallel languages
پدیدآورنده : Newmarch, Jan Dennis
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
رده :
QA
76
.
63
.
N48
116. Logic programming with Prolog
پدیدآورنده : / Max Bramer
کتابخانه: کتابخانه مرکزی و مرکز نشر دانشگاه صنعتی بیرجند (خراسان جنوبی)
موضوع : Logic programming,Prolog (Computer program language)
رده :
QA76
.
63
B73
2005
117. Logic programming with Prolog
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic programming. ; Prolog (Computer program language) ;
118. Logic programming with Prolog
پدیدآورنده : / Max Bramer
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic programming,Prolog (Computer program language)
رده :
QA76
.
63
.
B73
2005
119. Logic programming with Prolog /
پدیدآورنده : Max Bramer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic programming,Prolog (Computer program language)
رده :
QA76
.
63
120. Logic with prolog
پدیدآورنده : Peter Gibbins
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Prolog (Computer program language),Logic programming
رده :
QA
،
76
.
73
،.
P76
,
G53
،
1988